$\forall$$A$:Type, $x$:(?$A$). ?[$x$] $\in$ ($A$ List)